Integrated formal methods - Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings
- Författare
- K. (Kaisa) Sere Luigia Petre Michael Butler International Conference on Integrated Formal Methods 2002 : Turku)
- (Michael Butler, Luigia Petre, Kaisa Sere (eds.)., Includes bibliographical references and index)
- Genre
- Konferenser, Ej skönlitteratur, Konferenspublikation, Bibliografi
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | cop. 2002 | Tyskland, Berlin | x, 399 sidor. ill. 24 cm |